how to do a set theory proof